-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy path4.5.1.3 (d sin)^n (a+b sec)^m.nb
More file actions
4395 lines (4314 loc) · 238 KB
/
4.5.1.3 (d sin)^n (a+b sec)^m.nb
File metadata and controls
4395 lines (4314 loc) · 238 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
(* Content-type: application/mathematica *)
(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)
(* CreatedBy='Mathematica 7.0' *)
(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[ 145, 7]
NotebookDataLength[ 238868, 4386]
NotebookOptionsPosition[ 233691, 4250]
NotebookOutlinePosition[ 235456, 4304]
CellTagsIndexPosition[ 235413, 4301]
WindowFrame->Normal*)
(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[Cell[TextData[{
StyleBox["Rules for integrands of the form ",
FontFamily->"Arial"],
Cell[BoxData[
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"g", " ",
RowBox[{"Sin", "[",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], "]"}]}], ")"}], "p"], " ",
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
RowBox[{"Sec", "[",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], "]"}]}]}], ")"}], "m"]}]],
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9,
3.519247079685614*^9, {3.5193208582062006`*^9, 3.5193208612170057`*^9},
3.5193325694253187`*^9, {3.5193415004828687`*^9,
3.5193415113404875`*^9}, {3.5193513965602303`*^9,
3.519351397420232*^9}, {3.5194037839416766`*^9, 3.5194037847117205`*^9},
3.52105258275843*^9, 3.5210531741726685`*^9, {3.521057461672199*^9,
3.5210574760242243`*^9}, {3.521059881564049*^9, 3.521059886088057*^9}, {
3.5213902158895197`*^9, 3.521390217543123*^9}, {3.521390827878595*^9,
3.521390829376197*^9}, {3.5214688792561245`*^9, 3.521468879443325*^9}, {
3.523320201951167*^9, 3.523320202247567*^9}, {3.5288596764894824`*^9,
3.5288596768094826`*^9}, {3.529196266260353*^9,
3.5291962665099535`*^9}, {3.5291997050223927`*^9,
3.5291997052563934`*^9}, {3.529201346457276*^9, 3.529201347252877*^9}, {
3.529285041073242*^9, 3.5292850412632427`*^9}, {3.529285215443486*^9,
3.529285215443486*^9}, {3.5295115356999426`*^9,
3.5295115433443794`*^9}, {3.529521412127842*^9, 3.529521414647986*^9}, {
3.529529429975619*^9, 3.529529432955224*^9}, 3.5340074894011116`*^9,
3.5415537711400824`*^9, {3.5415538409034047`*^9, 3.541553841106205*^9}, {
3.5415564120531206`*^9, 3.5415564206955357`*^9},
3.5415565488341613`*^9, {3.5415605631516123`*^9,
3.5415605860836525`*^9}, {3.541561323247347*^9, 3.5415613234501476`*^9},
3.5416162115728135`*^9, {3.5416506679001875`*^9, 3.541650687980216*^9},
3.560533948494043*^9, 3.560538006319724*^9, {3.5605392374714475`*^9,
3.5605392382814484`*^9}, 3.5606250606115856`*^9, 3.5617573869745255`*^9,
3.561757856045182*^9, {3.561761339582559*^9, 3.5617613636025925`*^9}, {
3.5617652519980364`*^9, 3.561765252188037*^9}, {3.561767460571129*^9,
3.5617674608411293`*^9}, 3.5621081762414055`*^9, {3.5621084468550806`*^9,
3.5621084519718895`*^9}, 3.563340740121106*^9},
FontWeight->"Bold"]
}], "None"]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9,
3.4965234353062396`*^9, {3.5193214825316973`*^9, 3.5193214852617016`*^9}, {
3.523316399894187*^9, 3.5233164032341914`*^9}, {3.523318350558202*^9,
3.5233183516382036`*^9}, {3.536542725780803*^9, 3.536542725780803*^9}, {
3.5367764878952584`*^9, 3.5367764886452594`*^9}, {3.544322815209103*^9,
3.5443228192963104`*^9}, {3.5450662624913826`*^9, 3.545066292141424*^9}, {
3.545066402271579*^9, 3.5450664054415827`*^9}, {3.5450834884295015`*^9,
3.5450834895895033`*^9}, {3.5454961263762493`*^9,
3.5454961321462574`*^9}, {3.5454963863166127`*^9,
3.5454964580867133`*^9}, {3.545497046127537*^9, 3.545497046127537*^9}, {
3.5454971130676303`*^9, 3.545497136257663*^9}, 3.545610399977621*^9, {
3.546040778592962*^9, 3.546040778592962*^9}, {3.5461052065706367`*^9,
3.5461052249474688`*^9}, {3.546191339879622*^9, 3.5461913430596266`*^9}, {
3.5462141824067917`*^9, 3.5462142145768366`*^9}, {3.5462145455473003`*^9,
3.5462145601073203`*^9}, {3.5463149785974817`*^9,
3.5463149794195285`*^9}, {3.5488738437683954`*^9,
3.5488738699084315`*^9}, {3.5488890647645535`*^9, 3.548889080804576*^9}, {
3.5505951583099127`*^9, 3.5505951620351257`*^9}, {3.5505952613798075`*^9,
3.5505952630869055`*^9}, {3.5535321133435373`*^9,
3.5535321173537664`*^9}, {3.5536175341411576`*^9,
3.5536175352411594`*^9}, {3.55396599671187*^9, 3.55396599862998*^9}, {
3.560190530310161*^9, 3.560190628512334*^9}, {3.5602162723838596`*^9,
3.5602162793138695`*^9}, {3.5606249190913877`*^9, 3.560624924321395*^9}, {
3.5617663419995623`*^9, 3.5617663705796027`*^9}, {3.5617666456099873`*^9,
3.561766656350003*^9}, {3.562107691486154*^9, 3.5621077390350375`*^9}, {
3.5621080165751247`*^9, 3.5621080185719285`*^9}, {3.5621081511877613`*^9,
3.5621081511877613`*^9}, {3.5633407304210925`*^9, 3.563340730891093*^9}, {
3.575852587746504*^9, 3.575852593256511*^9}, {3.575852659996605*^9,
3.575852659996605*^9}, {3.575852743186721*^9, 3.575852743186721*^9}, {
3.57585284254686*^9, 3.575852895956935*^9}, {3.575853026617118*^9,
3.575853038617135*^9}, {3.575853153907296*^9, 3.575853185757341*^9}, {
3.575853290447487*^9, 3.575853290447487*^9}, {3.5758553923824325`*^9,
3.5758553923824325`*^9}, {3.5758554525725164`*^9,
3.5758554525725164`*^9}, {3.5758555750526876`*^9,
3.5758555750526876`*^9}, {3.5758556596228065`*^9,
3.5758556596228065`*^9}, {3.575855725612899*^9, 3.575855725612899*^9}, {
3.575855810993018*^9, 3.575855810993018*^9}, {3.57585588373312*^9,
3.57585588374312*^9}, {3.5758560310833263`*^9, 3.5758560310833263`*^9}, {
3.5758561273734612`*^9, 3.5758561273734612`*^9}, {3.5758565422515745`*^9,
3.5758565422515745`*^9}, {3.5758567480518627`*^9,
3.5758567480518627`*^9}, {3.597105294762822*^9, 3.597105330137873*^9}, {
3.625701018598903*^9, 3.625701019258904*^9}, {3.6773587094543767`*^9,
3.6773587094543767`*^9}, {3.6800416949154644`*^9, 3.6800416949154644`*^9}},
TextAlignment->Center,
FontWeight->"Bold"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{Cell[TextData[StyleBox["1:",
FontFamily->"Arial",
FontColor->RGBColor[1, 0, 0]]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"g", " ",
RowBox[{"Sin", "[",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], "]"}]}], ")"}], "p"], " ",
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
RowBox[{"Sec", "[",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], "]"}]}]}], ")"}], "m"],
RowBox[{"\[DifferentialD]", "x"}], " ",
StyleBox["when",
FontFamily->"Arial",
FontWeight->"Plain"],
StyleBox[" ",
FontFamily->"Arial",
FontWeight->"Plain"], Cell[TextData[Cell[BoxData[
RowBox[{"m", "\[Element]", "\[DoubleStruckCapitalZ]"}]]]],
"None"]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.4964645213514385`*^9,
3.5192470594155855`*^9, {3.519247288125906*^9, 3.5192473207459517`*^9}, {
3.519247363296011*^9, 3.519247363796012*^9}, 3.519258420199427*^9,
3.5192584863895197`*^9, {3.519320760160028*^9, 3.519320767367241*^9},
3.5193299099191504`*^9, {3.5193300315093203`*^9, 3.519330031709321*^9}, {
3.5193323099968634`*^9, 3.5193324414114943`*^9}, {3.5193327317904043`*^9,
3.519332762148057*^9}, {3.519340455685931*^9, 3.519340463318947*^9},
3.519340635545749*^9, {3.5193422478304834`*^9, 3.519342248704085*^9}, {
3.519342492766513*^9, 3.519342493156514*^9}, {3.519345750301442*^9,
3.5193457505978427`*^9}, 3.519346263464343*^9, {3.519349307658399*^9,
3.519349310965605*^9}, {3.519352294781488*^9, 3.5193522950014887`*^9}, {
3.5194134359455075`*^9, 3.519413446054325*^9}, {3.5194134908888044`*^9,
3.5194134927764077`*^9}, {3.5194141847624226`*^9,
3.5194142323581066`*^9}, {3.5195392931088047`*^9, 3.51953929576081*^9},
3.5195394267074394`*^9, {3.5196773980538087`*^9, 3.5196774025801287`*^9},
3.5214730195115576`*^9, {3.5214731380617237`*^9, 3.521473193531801*^9}, {
3.521474138193124*^9, 3.5214741420331287`*^9}, {3.5214741988932085`*^9,
3.5214742007232113`*^9}, {3.523316621154496*^9, 3.523316621154496*^9}, {
3.523316677984576*^9, 3.523316677984576*^9}, {3.523318504907651*^9,
3.523318504907651*^9}, {3.5233186383938627`*^9, 3.5233186383938627`*^9}, {
3.527359904961545*^9, 3.527359905959947*^9}, {3.5326425332730722`*^9,
3.532642533473073*^9}, {3.5326427746632795`*^9, 3.53264277491288*^9}, {
3.5326584214048853`*^9, 3.5326584216348853`*^9}, {3.5327156387673616`*^9,
3.5327156467558184`*^9}, {3.532715729333542*^9, 3.53271573123365*^9},
3.5328460582169604`*^9, {3.5328745920833416`*^9, 3.5328746294142075`*^9}, {
3.532875067275776*^9, 3.532875067650177*^9}, {3.532875139909504*^9,
3.532875150829523*^9}, {3.537656121233163*^9, 3.537656121443164*^9},
3.540263906712819*^9, {3.5402639787229204`*^9, 3.5402639788829203`*^9}, {
3.540319178473138*^9, 3.5403191846574917`*^9}, {3.540319223359705*^9,
3.5403192458899937`*^9}, {3.5403196532852955`*^9,
3.5403196542853527`*^9}, {3.5404234472634363`*^9,
3.5404234474974365`*^9}, {3.5404266413502464`*^9, 3.540426641755847*^9}, {
3.540427707752519*^9, 3.5404277079553194`*^9}, {3.544238816041692*^9,
3.544238816041692*^9}, {3.544972902988535*^9, 3.544972921755368*^9},
3.5449740982158346`*^9, 3.5449744158947926`*^9, {3.5449778031390886`*^9,
3.5449778251343465`*^9}, {3.54499756760699*^9, 3.5449975737066*^9}, {
3.544998829914407*^9, 3.544998830117207*^9}, {3.545066651861928*^9,
3.5450666715919557`*^9}, {3.545067018472441*^9, 3.54506702505245*^9}, {
3.5450672112627115`*^9, 3.5450672142727156`*^9}, {3.5474153416867237`*^9,
3.547415342965926*^9}, {3.575327678898259*^9, 3.5753276798782606`*^9}, {
3.578688109525468*^9, 3.578688109745468*^9}, {3.5791314039196434`*^9,
3.5791314043496437`*^9}, {3.5970233602803164`*^9,
3.5970233606547165`*^9}, {3.602029453182803*^9, 3.602029453422803*^9}, {
3.611960802461655*^9, 3.611960802721656*^9}, {3.6155071018281007`*^9,
3.6155071023881016`*^9}, 3.615507355198455*^9, {3.615507666678891*^9,
3.6155076666888914`*^9}, {3.6240635683046503`*^9, 3.624063571339655*^9}, {
3.624064220709572*^9, 3.6240642213195724`*^9}, 3.624064257535624*^9, {
3.6240662943845024`*^9, 3.6240662992245092`*^9}, 3.6240664735447583`*^9, {
3.624076720043745*^9, 3.6240767390621786`*^9}, 3.6246510551183367`*^9, {
3.6247385576502986`*^9, 3.624738582132699*^9}, {3.6247388448707266`*^9,
3.624738863743806*^9}, {3.6247389043281274`*^9, 3.624738904943163*^9},
3.624739984733923*^9, {3.6249040774829507`*^9, 3.624904108159175*^9}, {
3.624938229294053*^9, 3.624938263003981*^9}, {3.62498901238396*^9,
3.624989055611636*^9}, {3.6249915281481905`*^9, 3.624991528491391*^9},
3.6249923628265963`*^9, 3.624993674164034*^9, {3.6249937105024977`*^9,
3.6249937147457056`*^9}, {3.625007732002015*^9, 3.6250077485450444`*^9}, {
3.625009022509804*^9, 3.625009038517432*^9}, {3.6250150936430397`*^9,
3.625015134329911*^9}, 3.6250166270427094`*^9, {3.6254194422844687`*^9,
3.6254194425344696`*^9}, {3.625420774632717*^9, 3.625420797362749*^9}, {
3.6254208634428415`*^9, 3.6254208840028706`*^9}, 3.6257019053106723`*^9,
3.6800398425275135`*^9, 3.6800417875497627`*^9, {3.6800419497990427`*^9,
3.6800419502710695`*^9}, 3.6800426811828756`*^9, {3.68004286447736*^9,
3.680042872616825*^9}},
FontSize->12,
FontWeight->"Bold"],
Cell["Derivation: Algebraic normalization", "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.4964417379912624`*^9, 3.4964417471112747`*^9}, {
3.496441910111503*^9, 3.4964419275315275`*^9}, 3.496451213764926*^9,
3.496528833243797*^9, {3.4975777080419827`*^9, 3.4975777244120054`*^9}, {
3.4975778737222147`*^9, 3.4975778945722437`*^9}, {3.4976396822792068`*^9,
3.49763968986082*^9}, {3.497639771433363*^9, 3.49763978104298*^9}, {
3.4976638984111347`*^9, 3.4976639153215647`*^9}, {3.4976645939383564`*^9,
3.497664598805565*^9}, {3.4976646480080514`*^9, 3.4976646992229414`*^9}, {
3.4976647966763124`*^9, 3.497664832415975*^9}, 3.497664903037299*^9, {
3.497665001317472*^9, 3.4976650255131145`*^9}, {3.4986778951385884`*^9,
3.4986779035186005`*^9}, {3.4986779431286554`*^9,
3.4986779431286554`*^9}, {3.498773043878818*^9, 3.4987730460988207`*^9}, {
3.4988813641905975`*^9, 3.4988813641905975`*^9}, {3.499181685919475*^9,
3.499181686418676*^9}, {3.4991988186404686`*^9, 3.49919881954527*^9}, {
3.501179210841673*^9, 3.501179210841673*^9}, {3.501267255160894*^9,
3.5012672581208982`*^9}, {3.50180714999329*^9, 3.501807152785694*^9}, {
3.5018072136414013`*^9, 3.5018072171202073`*^9}, {3.5018143356243105`*^9,
3.501814336544712*^9}, {3.501821741404519*^9, 3.501821741404519*^9}, {
3.501904374065234*^9, 3.5019043749232354`*^9}, {3.5020738106262097`*^9,
3.502073826787838*^9}, {3.502074080168284*^9, 3.502074080636285*^9}, {
3.5020742717990203`*^9, 3.502074305073879*^9}, {3.503687809691985*^9,
3.5036878202819996`*^9}, {3.5036910540785284`*^9, 3.503691064608543*^9}, {
3.5036914578790936`*^9, 3.5036914589290953`*^9}, {3.50377059129212*^9,
3.50377059129212*^9}, {3.5037747966780715`*^9, 3.5037747966780715`*^9}, {
3.503777187954526*^9, 3.503777187954526*^9}, {3.5077488424351263`*^9,
3.5077488432051277`*^9}, {3.508371510420107*^9, 3.508371511387309*^9}, {
3.508372634392482*^9, 3.508372665810937*^9}, 3.508387767004675*^9, {
3.5084342353439364`*^9, 3.508434235593937*^9}, {3.513377386932716*^9,
3.5133773873427167`*^9}, {3.6240663369665623`*^9,
3.6240663369665623`*^9}, {3.6240769659187765`*^9,
3.6240769659187765`*^9}, {3.624738673904948*^9, 3.6247386739059477`*^9}, {
3.6247389136136584`*^9, 3.6247389136136584`*^9}, {3.6249382717474813`*^9,
3.6249382717474813`*^9}, {3.6249890712272635`*^9,
3.6249890712272635`*^9}, {3.624991531704997*^9, 3.624991531704997*^9}, {
3.6249937198781147`*^9, 3.6249937198781147`*^9}, {3.62500775745266*^9,
3.62500775745266*^9}, {3.625009044227042*^9, 3.625009044227042*^9}, {
3.625015147355934*^9, 3.6250151480735354`*^9}, {3.6254195522246227`*^9,
3.6254195735646524`*^9}, {3.6254209175129175`*^9, 3.6254209225929246`*^9}}],
Cell[TextData[{
"Basis:",
" If ",
Cell[BoxData[
RowBox[{"m", "\[Element]", "\[DoubleStruckCapitalZ]"}]]],
", then",
" ",
Cell[BoxData[
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
RowBox[{"Sec", "[", "z", "]"}]}]}], ")"}], "m"], "\[Equal]",
FractionBox[
SuperscriptBox[
RowBox[{"(",
RowBox[{"b", "+",
RowBox[{"a", " ",
RowBox[{"Cos", "[", "z", "]"}]}]}], ")"}], "m"],
SuperscriptBox[
RowBox[{"Cos", "[", "z", "]"}], "m"]]}]],
CellChangeTimes->{{3.625419592524679*^9, 3.6254196174447145`*^9}}]
}], "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.4964417379912624`*^9, 3.4964417471112747`*^9}, {
3.496441910111503*^9, 3.4964419275315275`*^9}, 3.496451213764926*^9,
3.496528833243797*^9, {3.4975777080419827`*^9, 3.4975777244120054`*^9}, {
3.4975778737222147`*^9, 3.4975778945722437`*^9}, {3.4976396822792068`*^9,
3.49763968986082*^9}, {3.497639771433363*^9, 3.49763978104298*^9}, {
3.4976638984111347`*^9, 3.4976639153215647`*^9}, {3.4976645939383564`*^9,
3.497664598805565*^9}, {3.4976646480080514`*^9, 3.4976646992229414`*^9}, {
3.4976647966763124`*^9, 3.497664832415975*^9}, 3.497664903037299*^9, {
3.497665001317472*^9, 3.4976650255131145`*^9}, {3.4986778951385884`*^9,
3.4986779035186005`*^9}, {3.4986779431286554`*^9,
3.4986779431286554`*^9}, {3.498773043878818*^9, 3.4987730460988207`*^9}, {
3.4988813641905975`*^9, 3.4988813641905975`*^9}, {3.499181685919475*^9,
3.499181686418676*^9}, {3.4991988186404686`*^9, 3.49919881954527*^9}, {
3.501179210841673*^9, 3.501179210841673*^9}, {3.501267255160894*^9,
3.5012672581208982`*^9}, {3.50180714999329*^9, 3.501807152785694*^9}, {
3.5018072136414013`*^9, 3.5018072171202073`*^9}, {3.5018143356243105`*^9,
3.501814336544712*^9}, {3.501821741404519*^9, 3.501821741404519*^9}, {
3.501904374065234*^9, 3.5019043749232354`*^9}, {3.5020738106262097`*^9,
3.502073826787838*^9}, {3.502074080168284*^9, 3.502074080636285*^9}, {
3.5020742717990203`*^9, 3.502074305073879*^9}, {3.503687809691985*^9,
3.5036878202819996`*^9}, {3.5036910540785284`*^9, 3.503691064608543*^9}, {
3.5036914578790936`*^9, 3.5036914589290953`*^9}, {3.50377059129212*^9,
3.50377059129212*^9}, {3.5037747966780715`*^9, 3.5037747966780715`*^9}, {
3.503777187954526*^9, 3.503777187954526*^9}, {3.5077488424351263`*^9,
3.5077488432051277`*^9}, {3.508371510420107*^9, 3.508371511387309*^9}, {
3.508372634392482*^9, 3.508372665810937*^9}, 3.508387767004675*^9, {
3.5084342353439364`*^9, 3.508434235593937*^9}, {3.513377386932716*^9,
3.5133773873427167`*^9}, {3.6240663369665623`*^9,
3.6240663369665623`*^9}, {3.6240769659187765`*^9,
3.6240769659187765`*^9}, {3.624738673904948*^9, 3.6247386739059477`*^9}, {
3.6247389136136584`*^9, 3.6247389136136584`*^9}, {3.6249382717474813`*^9,
3.6249382717474813`*^9}, {3.6249890712272635`*^9,
3.6249890712272635`*^9}, {3.624991531704997*^9, 3.624991531704997*^9}, {
3.6249937198781147`*^9, 3.6249937198781147`*^9}, {3.62500775745266*^9,
3.62500775745266*^9}, {3.625009044227042*^9, 3.625009044227042*^9}, {
3.625015147355934*^9, 3.6250151480735354`*^9}, {3.6254195522246227`*^9,
3.6254195840446672`*^9}, 3.6254196237847233`*^9, {3.625420997433029*^9,
3.625420997433029*^9}, 3.6800424303125267`*^9, {3.6800424803213873`*^9,
3.6800424803213873`*^9}, {3.6800428775381064`*^9, 3.6800428822933784`*^9}}],
Cell[TextData[{
"Rule: If ",
Cell[BoxData[
RowBox[{"m", "\[Element]", "\[DoubleStruckCapitalZ]"}]]],
", then"
}], "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.4964417379912624`*^9, 3.4964417471112747`*^9}, {
3.496441910111503*^9, 3.4964419275315275`*^9}, 3.496451213764926*^9,
3.496528833243797*^9, {3.4975777080419827`*^9, 3.4975777244120054`*^9}, {
3.4975778737222147`*^9, 3.4975778945722437`*^9}, {3.4976396822792068`*^9,
3.49763968986082*^9}, {3.497639771433363*^9, 3.49763978104298*^9}, {
3.4976638984111347`*^9, 3.4976639153215647`*^9}, {3.4976645939383564`*^9,
3.497664598805565*^9}, {3.4976646480080514`*^9, 3.4976646992229414`*^9}, {
3.4976647966763124`*^9, 3.497664832415975*^9}, 3.497664903037299*^9, {
3.497665001317472*^9, 3.4976650255131145`*^9}, {3.4986778951385884`*^9,
3.4986779035186005`*^9}, {3.4986779431286554`*^9,
3.4986779431286554`*^9}, {3.498773043878818*^9, 3.4987730460988207`*^9}, {
3.4988813641905975`*^9, 3.4988813641905975`*^9}, {3.499181685919475*^9,
3.499181686418676*^9}, {3.4991988186404686`*^9, 3.49919881954527*^9}, {
3.501179210841673*^9, 3.501179210841673*^9}, {3.501267255160894*^9,
3.5012672581208982`*^9}, {3.50180714999329*^9, 3.501807152785694*^9}, {
3.5018072136414013`*^9, 3.5018072171202073`*^9}, {3.5018143356243105`*^9,
3.501814336544712*^9}, {3.501821741404519*^9, 3.501821741404519*^9}, {
3.501904374065234*^9, 3.5019043749232354`*^9}, {3.5020738106262097`*^9,
3.502073826787838*^9}, {3.502074080168284*^9, 3.502074080636285*^9}, {
3.5020742717990203`*^9, 3.502074305073879*^9}, {3.503687809691985*^9,
3.5036878202819996`*^9}, {3.5036910540785284`*^9, 3.503691064608543*^9}, {
3.5036914578790936`*^9, 3.5036914589290953`*^9}, {3.50377059129212*^9,
3.50377059129212*^9}, {3.5037747966780715`*^9, 3.5037747966780715`*^9}, {
3.503777187954526*^9, 3.503777187954526*^9}, {3.5077488424351263`*^9,
3.5077488432051277`*^9}, {3.508371510420107*^9, 3.508371511387309*^9}, {
3.508372634392482*^9, 3.508372665810937*^9}, 3.508387767004675*^9, {
3.5084342353439364`*^9, 3.508434235593937*^9}, {3.513377386932716*^9,
3.5133773873427167`*^9}, {3.6240663369665623`*^9,
3.6240663369665623`*^9}, {3.6240769659187765`*^9,
3.6240769659187765`*^9}, {3.624738673904948*^9, 3.6247386739059477`*^9}, {
3.6247389136136584`*^9, 3.6247389136136584`*^9}, {3.6249382717474813`*^9,
3.6249382717474813`*^9}, {3.6249890712272635`*^9,
3.6249890712272635`*^9}, {3.624991531704997*^9, 3.624991531704997*^9}, {
3.6249937198781147`*^9, 3.6249937198781147`*^9}, {3.62500775745266*^9,
3.62500775745266*^9}, {3.625009044227042*^9, 3.625009044227042*^9}, {
3.6250186609965053`*^9, 3.6250186609965053`*^9}, {3.6254208158027754`*^9,
3.6254208158027754`*^9}, {3.6254208896928787`*^9,
3.6254208896928787`*^9}, {3.680042885793579*^9, 3.680042885793579*^9}}],
Cell[BoxData[
RowBox[{"\[Integral]",
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"g", " ",
RowBox[{"Sin", "[",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], "]"}]}], ")"}], "p"], " ",
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
RowBox[{"Sec", "[",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], "]"}]}]}], ")"}], "m"],
RowBox[{"\[DifferentialD]",
RowBox[{"x", " ", "\[LongRightArrow]", " ",
RowBox[{"\[Integral]",
RowBox[{
FractionBox[
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{"g", " ",
RowBox[{"Sin", "[",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], "]"}]}], ")"}], "p"], " ",
SuperscriptBox[
RowBox[{"(",
RowBox[{"b", "+",
RowBox[{"a", " ",
RowBox[{"Cos", "[",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], "]"}]}]}], ")"}], "m"]}],
SuperscriptBox[
RowBox[{"Cos", "[",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], "]"}], "m"]],
RowBox[{"\[DifferentialD]", "x"}]}]}]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{{3.4796579732027807`*^9, 3.479658002474872*^9}, {
3.4796580599975853`*^9, 3.4796580609489536`*^9}, {3.479658295195784*^9,
3.47965829684816*^9}, 3.4796611938939075`*^9, 3.4796613924794593`*^9, {
3.479661443342597*^9, 3.479661446647349*^9}, {3.479661576554146*^9,
3.479661589302477*^9}, 3.479661847553824*^9, {3.4796622294729967`*^9,
3.4796622450654173`*^9}, {3.479686720424531*^9, 3.4796867204345455`*^9}, {
3.4796874646646957`*^9, 3.4796874745589232`*^9}, {3.492826573513727*^9,
3.492826578630536*^9}, {3.4928267070863624`*^9, 3.492826707460763*^9},
3.4928267903497095`*^9, {3.492829799151373*^9, 3.4928299617216005`*^9}, {
3.4940972077187414`*^9, 3.4940972347887793`*^9}, {3.496441851501421*^9,
3.496441872881451*^9}, {3.496528916553913*^9, 3.4965289272239285`*^9}, {
3.497576165747217*^9, 3.4975761801372375`*^9}, {3.497577761382057*^9,
3.4975777938921027`*^9}, 3.49763959300025*^9, 3.497639634480723*^9,
3.4976398417426867`*^9, {3.497640159702445*^9, 3.4976401723852673`*^9},
3.497921629815009*^9, 3.4979233569096427`*^9, 3.500664339792617*^9,
3.500665314513982*^9, {3.5036053897063665`*^9, 3.5036054156964025`*^9}, {
3.503606914958502*^9, 3.503606928418521*^9}, {3.503609780242513*^9,
3.5036097974425373`*^9}, {3.503610197873098*^9, 3.5036102097631145`*^9}, {
3.5036839785995874`*^9, 3.5036840357268877`*^9}, {3.5036842638460884`*^9,
3.5036842678708954`*^9}, 3.5037651801466703`*^9, 3.503765279376809*^9,
3.503765316726862*^9, {3.5037658800248957`*^9, 3.503765895744918*^9}, {
3.5037665202274017`*^9, 3.5037665301178193`*^9}, {3.503784584829901*^9,
3.5037845937599134`*^9}, 3.503792874433873*^9, 3.503792912183926*^9, {
3.5037929644139996`*^9, 3.5037929747840137`*^9}, {3.5037931121242065`*^9,
3.503793113894209*^9}, {3.508371532525346*^9, 3.508371535395751*^9},
3.5083724352425323`*^9, {3.508387207384492*^9, 3.5083872419697523`*^9}, {
3.508387273341408*^9, 3.508387297958251*^9}, {3.5083883746317434`*^9,
3.5083883839449596`*^9}, {3.5084366732473497`*^9, 3.508436675117352*^9}, {
3.5098473308987117`*^9, 3.5098473379687214`*^9}, {3.515168072474307*^9,
3.5151680753643117`*^9}, {3.5970233630883207`*^9, 3.597023373431139*^9}, {
3.6155071026281013`*^9, 3.615507104368104*^9}, {3.6155073560584564`*^9,
3.6155073576384587`*^9}, {3.6155075708487573`*^9, 3.615507572158759*^9}, {
3.6155076666888914`*^9, 3.615507666718891*^9}, {3.6240642251695786`*^9,
3.624064227909582*^9}, {3.6240642584956255`*^9, 3.6240642614656296`*^9},
3.6240658070548134`*^9, {3.624066027264124*^9, 3.6240660576671667`*^9}, {
3.6240662019173703`*^9, 3.6240662085373797`*^9}, {3.6240768799782257`*^9,
3.6240768911790457`*^9}, {3.624077580251856*^9, 3.6240775964632845`*^9}, {
3.624738733244342*^9, 3.624738749038245*^9}, {3.6247388064515295`*^9,
3.624738816673114*^9}, {3.624739183829114*^9, 3.6247393190618486`*^9}, {
3.6247396052432175`*^9, 3.62473963483191*^9}, {3.6249041109891796`*^9,
3.6249041253822746`*^9}, {3.624904157791504*^9, 3.624904174611601*^9},
3.6249042295339704`*^9, {3.6249043031894817`*^9, 3.624904306299486*^9}, {
3.6249891019281173`*^9, 3.6249891169821434`*^9}, {3.6249892334051485`*^9,
3.624989237835556*^9}, {3.624989271224266*^9, 3.6249892889889903`*^9}, {
3.6249893316706653`*^9, 3.624989344103887*^9}, {3.6249894780145226`*^9,
3.6249894930217485`*^9}, {3.6249901868386965`*^9,
3.6249902119899406`*^9}, {3.6249904563265705`*^9,
3.6249904569037714`*^9}, {3.6249909893497076`*^9,
3.6249909964477205`*^9}, {3.6249910273065743`*^9,
3.6249911457223177`*^9}, {3.62499139712276*^9, 3.624991402114769*^9},
3.6249916041711245`*^9, {3.624996983144622*^9, 3.6249969856874266`*^9}, {
3.6250151558579493`*^9, 3.625015169759574*^9}, {3.625016643612939*^9,
3.6250166474817457`*^9}, {3.625419451484482*^9, 3.625419533554597*^9},
3.625419615144711*^9, 3.62542091226291*^9, {3.6800417968292933`*^9,
3.680041799949472*^9}, {3.6800419535842595`*^9, 3.680041953630262*^9}, {
3.680042686416175*^9, 3.680042687311226*^9}, {3.6800428935580225`*^9,
3.680042899046337*^9}},
TextAlignment->Center,
FontSize->12,
FontWeight->"Bold"],
Cell["Program code:", "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.492804314166378*^9, 3.4928043441496305`*^9}, {
3.4928044532166224`*^9, 3.492804453513023*^9}, {3.492805162266266*^9,
3.492805165713872*^9}, {3.6249913513814793`*^9, 3.624991353986684*^9}}],
Cell[BoxData[
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"(",
RowBox[{"g_.", "*",
RowBox[{"cos", "[",
RowBox[{"e_.", "+",
RowBox[{"f_.", "*", "x_"}]}], "]"}]}], ")"}], "^", "p_."}], "*",
RowBox[{
RowBox[{"(",
RowBox[{"a_", "+",
RowBox[{"b_.", "*",
RowBox[{"csc", "[",
RowBox[{"e_.", "+",
RowBox[{"f_.", "*", "x_"}]}], "]"}]}]}], ")"}], "^", "m_."}]}],
",", "x_Symbol"}], "]"}], " ", ":=", "\n", " ",
RowBox[{
RowBox[{"Int", "[",
RowBox[{
RowBox[{
RowBox[{
RowBox[{"(",
RowBox[{"g", "*",
RowBox[{"Cos", "[",
RowBox[{"e", "+",
RowBox[{"f", "*", "x"}]}], "]"}]}], ")"}], "^", "p"}], "*",
RowBox[{
RowBox[{
RowBox[{"(",
RowBox[{"b", "+",
RowBox[{"a", "*",
RowBox[{"Sin", "[",
RowBox[{"e", "+",
RowBox[{"f", "*", "x"}]}], "]"}]}]}], ")"}], "^", "m"}], "/",
RowBox[{
RowBox[{"Sin", "[",
RowBox[{"e", "+",
RowBox[{"f", "*", "x"}]}], "]"}], "^", "m"}]}]}], ",", "x"}], "]"}],
" ", "/;", "\n",
RowBox[{
RowBox[{"FreeQ", "[",
RowBox[{
RowBox[{"{",
RowBox[{"a", ",", "b", ",", "e", ",", "f", ",", "g", ",", "p"}], "}"}],
",", "x"}], "]"}], " ", "&&", " ",
RowBox[{"IntegerQ", "[", "m", "]"}]}]}]}]], "Code",
CellChangeTimes->{{3.494097279728842*^9, 3.494097309778884*^9},
3.496441834031397*^9, 3.496442095051762*^9, 3.496528791863739*^9,
3.496528888643874*^9, 3.497575939976901*^9, 3.4975761146971455`*^9,
3.4975775509417624`*^9, 3.497577752792045*^9, 3.4975834953320856`*^9,
3.4976395861674376`*^9, 3.4976397432129135`*^9, 3.49764012271478*^9,
3.497921629815009*^9, 3.497923316770772*^9, {3.498846097266164*^9,
3.498846101431371*^9}, {3.4988483998038116`*^9, 3.498848403345018*^9}, {
3.503114462071471*^9, 3.5031144646298757`*^9}, {3.503605637856714*^9,
3.5036056404067173`*^9}, {3.5036056742667646`*^9,
3.5036056882767844`*^9}, {3.503607614209481*^9, 3.503607619389488*^9},
3.5036094305720234`*^9, {3.5036094863621016`*^9, 3.503609489492106*^9}, {
3.503609866712634*^9, 3.503609867382635*^9}, {3.5036102208231297`*^9,
3.5036102468531666`*^9}, 3.5036191376208076`*^9, 3.5037657307246866`*^9, {
3.5037657942347755`*^9, 3.503765842284843*^9}, {3.503765900684925*^9,
3.5037659012749257`*^9}, 3.503770483271969*^9, {3.5037705316120367`*^9,
3.503770532712038*^9}, {3.5037848128502207`*^9, 3.5037848148402233`*^9},
3.5037933043644753`*^9, 3.5037933665145626`*^9, {3.505409020953904*^9,
3.505409026163912*^9}, 3.5054105939761066`*^9, 3.508372762624707*^9,
3.5083845812933245`*^9, 3.5083874261128764`*^9, {3.5083875565291057`*^9,
3.5083875612559137`*^9}, {3.5083877888603134`*^9, 3.5083877965043273`*^9},
3.5083879224433484`*^9, {3.508387967324627*^9, 3.5083879846094575`*^9},
3.5083883263808584`*^9, {3.508388399654187*^9, 3.5083884327574453`*^9}, {
3.5084366760673532`*^9, 3.5084366786773567`*^9}, {3.509847339118723*^9,
3.5098473444287305`*^9}, {3.544983257475173*^9, 3.5449832624351807`*^9}, {
3.545067265222787*^9, 3.5450672680027905`*^9}, {3.5474155937223644`*^9,
3.5474155944243655`*^9}, {3.5970233776431465`*^9,
3.5970234209644227`*^9}, {3.6155071454081616`*^9,
3.6155071454281616`*^9}, {3.615507178588208*^9, 3.615507178598208*^9},
3.615507245148301*^9, {3.615507382608494*^9, 3.6155073833884945`*^9},
3.615507459978602*^9, {3.6155075764887652`*^9, 3.6155075818287725`*^9}, {
3.6155077095189514`*^9, 3.6155077095389514`*^9}, {3.6155077496690073`*^9,
3.6155077496790075`*^9}, 3.61550782272911*^9, {3.6240642304595857`*^9,
3.62406423346959*^9}, {3.624064265195635*^9, 3.624064269531641*^9}, {
3.624066532754841*^9, 3.624066586584917*^9}, {3.6240769696003833`*^9,
3.624076996978431*^9}, 3.6240776699092135`*^9, {3.6247394980080843`*^9,
3.624739562065748*^9}, {3.6247397236889925`*^9, 3.6247397644353228`*^9}, {
3.6249041166352234`*^9, 3.6249041181352267`*^9}, {3.6249043339486694`*^9,
3.624904386824047*^9}, {3.624938279698936*^9, 3.6249382876593914`*^9},
3.6249912905997725`*^9, 3.6249913579334908`*^9, {3.624991638121784*^9,
3.6249916644566307`*^9}, {3.624991734315553*^9, 3.6249917439875703`*^9}, {
3.62499372296692*^9, 3.6249937246205225`*^9}, {3.624997079521591*^9,
3.6249970808787937`*^9}, {3.6250077617914677`*^9,
3.6250077759426928`*^9}, {3.625008999154563*^9, 3.6250090079861784`*^9}, {
3.625015173666581*^9, 3.6250151958382196`*^9}, {3.625015229396679*^9,
3.6250153110068235`*^9}, {3.6250166582175646`*^9, 3.6250166784528008`*^9},
3.6253318751678247`*^9, {3.625419708224841*^9, 3.6254197312848735`*^9},
3.6254208333328*^9, 3.625420895132886*^9, {3.6254210246370683`*^9,
3.6254210499871035`*^9}, {3.6800418154463587`*^9, 3.680041820406642*^9}, {
3.680041968024085*^9, 3.680041989766329*^9}, 3.680042332078908*^9, {
3.6800426975028095`*^9, 3.680042702903118*^9}, {3.6800429173663845`*^9,
3.6800429375825405`*^9}},
Background->GrayLevel[0.85]],
Cell["", "Subsubsection",
CellDingbat->None,
CellChangeTimes->{3.4796643211106243`*^9}]
}, Closed]],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{Cell[TextData[StyleBox["2.",
FontFamily->"Arial"]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{
SuperscriptBox[
RowBox[{"Sin", "[",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], "]"}], "p"],
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
RowBox[{"Sec", "[",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], "]"}]}]}], ")"}], "m"],
RowBox[{"\[DifferentialD]", "x"}], " ",
StyleBox["when",
FontFamily->"Arial",
FontWeight->"Plain"], " ", Cell[TextData[Cell[BoxData[
RowBox[{
FractionBox[
RowBox[{"p", "-", "1"}], "2"], "\[Element]",
"\[DoubleStruckCapitalZ]"}]]]], "None"]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.496521708137803*^9, {
3.4965218981240697`*^9, 3.49652189838407*^9}, 3.4965229070755*^9,
3.519247079685614*^9, {3.5193208582062006`*^9, 3.5193208612170057`*^9},
3.5193325694253187`*^9, {3.5193415004828687`*^9, 3.5193415113404875`*^9}, {
3.5193513965602303`*^9, 3.519351397420232*^9}, {3.5194037839416766`*^9,
3.5194037847117205`*^9}, {3.5233155055329347`*^9, 3.523315506402936*^9}, {
3.523318726949605*^9, 3.5233187276796064`*^9}, {3.523920400879534*^9,
3.5239204094439487`*^9}, 3.52392096260852*^9, 3.523921038171853*^9,
3.5340477459008017`*^9, 3.5340515540554085`*^9, {3.536542511100503*^9,
3.53654251626051*^9}, {3.536775961244521*^9, 3.5367759616145215`*^9}, {
3.5415536021761856`*^9, 3.5415536417690554`*^9}, {3.541553723606799*^9,
3.541553727070005*^9}, {3.5415537801724987`*^9, 3.5415538106081514`*^9}, {
3.541878685984413*^9, 3.541878695514426*^9}, 3.541879125205028*^9, {
3.5418801079864035`*^9, 3.5418801285864325`*^9}, 3.541880607577103*^9,
3.541880695147226*^9, 3.5418882157219706`*^9, {3.560190471092457*^9,
3.5601904719504585`*^9}, 3.560216298823897*^9, 3.560625245791845*^9, {
3.5609763265614862`*^9, 3.560976354901526*^9}, {3.5612649601466227`*^9,
3.56126496989664*^9}, {3.561310342562324*^9, 3.561310342562324*^9}, {
3.561312905465912*^9, 3.5613129096359177`*^9}, {3.561767416781067*^9,
3.5617674346110926`*^9}, {3.5617674667111373`*^9, 3.561767466961138*^9}, {
3.561924774035615*^9, 3.561924787075633*^9}, 3.561926168263568*^9, {
3.561927065264824*^9, 3.561927067894827*^9}, {3.5619271407049294`*^9,
3.561927141724931*^9}, {3.5623631380384464`*^9, 3.5623631381984463`*^9}, {
3.5635823611697493`*^9, 3.5635823655997553`*^9}, {3.5635966772380915`*^9,
3.563596694108115*^9}, 3.5686019696308565`*^9, 3.5971052819278035`*^9, {
3.6257124784323397`*^9, 3.6257125079203916`*^9}, {3.680039847567802*^9,
3.6800398506799803`*^9}, {3.680041953653263*^9, 3.680041953665264*^9}, {
3.680042706727337*^9, 3.680042707857401*^9}, 3.6800429468050685`*^9},
FontSize->12,
FontWeight->"Bold"],
Cell[CellGroupData[{
Cell[BoxData[
RowBox[{"\t",
RowBox[{Cell[TextData[StyleBox["1:",
FontFamily->"Arial",
FontColor->RGBColor[1, 0, 0]]], "None"], " ",
RowBox[{"\[Integral]",
RowBox[{
SuperscriptBox[
RowBox[{"Sin", "[",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], "]"}], "p"],
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
RowBox[{"Sec", "[",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], "]"}]}]}], ")"}], "m"],
RowBox[{"\[DifferentialD]", "x"}], " ",
StyleBox["when",
FontFamily->"Arial",
FontWeight->"Plain"], " ", Cell[TextData[Cell[BoxData[
RowBox[{
RowBox[{
FractionBox[
RowBox[{"p", "-", "1"}], "2"], "\[Element]",
"\[DoubleStruckCapitalZ]"}], " ", "\[And]", " ",
RowBox[{
RowBox[{
SuperscriptBox["a", "2"], "-",
SuperscriptBox["b", "2"]}], "\[Equal]", "0"}]}]]]],
"None"]}]}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{
3.477935275784027*^9, {3.477935350060832*^9, 3.477935352384173*^9}, {
3.477935393803731*^9, 3.477935400102789*^9}, {3.477935515378547*^9,
3.47793552034569*^9}, 3.478120029940968*^9, {3.479318860690858*^9,
3.47931886615872*^9}, {3.4794185033278093`*^9, 3.479418503918659*^9},
3.4795122294117584`*^9, {3.479615913307893*^9, 3.4796159352794867`*^9},
3.4796160386581373`*^9, 3.4796867204045024`*^9, {3.4928025699585147`*^9,
3.492802570130115*^9}, 3.492822274480175*^9, 3.492825822242408*^9, {
3.4940970615585365`*^9, 3.494097062168537*^9}, {3.496441349250718*^9,
3.496441349830719*^9}, 3.4964414848609076`*^9, 3.4964645213514385`*^9,
3.5192470594155855`*^9, {3.519247288125906*^9, 3.5192473207459517`*^9}, {
3.519247363296011*^9, 3.519247363796012*^9}, 3.519258420199427*^9,
3.5192584863895197`*^9, {3.519320760160028*^9, 3.519320767367241*^9},
3.5193299099191504`*^9, {3.5193300315093203`*^9, 3.519330031709321*^9}, {
3.5193323099968634`*^9, 3.5193324414114943`*^9}, {3.5193415804486094`*^9,
3.5193415824298124`*^9}, {3.5193459537101994`*^9,
3.5193459567210045`*^9}, {3.5193514074002457`*^9,
3.5193514076802464`*^9}, {3.5194037987985263`*^9, 3.519403799124545*^9},
3.519410735765964*^9, {3.5233155477729936`*^9, 3.5233155497329965`*^9}, {
3.5233157343632545`*^9, 3.5233157343632545`*^9}, 3.5239204163859615`*^9, {
3.5239209756969433`*^9, 3.523920976851345*^9}, {3.5239210574690866`*^9,
3.5239210738491154`*^9}, {3.529529514995768*^9, 3.52952953897301*^9}, {
3.529530096003188*^9, 3.5295300961903887`*^9}, 3.534007429411028*^9, {
3.5415552865111437`*^9, 3.541555295262759*^9}, 3.5416244798324237`*^9, {
3.5416246450471644`*^9, 3.541624690056343*^9}, 3.541626366779134*^9,
3.541628901025448*^9, 3.5416290724956875`*^9, 3.5417936736567183`*^9, {
3.541801799109347*^9, 3.5418018093593607`*^9}, 3.5418018795094595`*^9,
3.541801925819524*^9, {3.5418024417002463`*^9, 3.5418024419302464`*^9}, {
3.5418024734002905`*^9, 3.5418024867203093`*^9}, {3.541804026542465*^9,
3.541804026542465*^9}, {3.5418051959141026`*^9, 3.5418051961241026`*^9}, {
3.5418055896246533`*^9, 3.5418055898246536`*^9}, {3.541807928007927*^9,
3.5418079282179275`*^9}, {3.541816058189309*^9, 3.54181605834931*^9}, {
3.541895620942338*^9, 3.5418956211823387`*^9}, {3.553299727838824*^9,
3.5532997300288267`*^9}, {3.5532999791891756`*^9,
3.5532999817291794`*^9}, {3.553305063816294*^9, 3.5533050640562944`*^9}, {
3.5533051019963474`*^9, 3.553305104566351*^9}, {3.5533054443968267`*^9,
3.5533054475368314`*^9}, 3.5533078575102053`*^9, {3.5533106008040457`*^9,
3.5533106008040457`*^9}, {3.5546831350233016`*^9, 3.554683135273302*^9},
3.560216298603896*^9, 3.5606251917417693`*^9, {3.560975839890805*^9,
3.560975839890805*^9}, {3.5609767760421157`*^9, 3.5609767854021287`*^9}, {
3.560976852662223*^9, 3.560976853522224*^9}, 3.5609769271023273`*^9, {
3.560976964532379*^9, 3.5609769756223946`*^9}, 3.5612650221567316`*^9, {
3.561265055057189*^9, 3.561265060532799*^9}, {3.5613037670431185`*^9,
3.5613037670431185`*^9}, {3.5613060542563205`*^9, 3.5613060546163206`*^9},
3.561312919095931*^9, 3.5619258522711253`*^9, 3.5619260624334197`*^9,
3.5635825027699475`*^9, {3.563582646010148*^9, 3.5635826460201483`*^9}, {
3.5635826854702034`*^9, 3.5635826854702034`*^9}, {3.5635978663697567`*^9,
3.5635978719697647`*^9}, {3.563597959449887*^9, 3.563597959449887*^9}, {
3.5685983148157396`*^9, 3.568598327655758*^9}, {3.568653734645482*^9,
3.568653751836712*^9}, {3.5686541524610157`*^9, 3.568654164925438*^9}, {
3.5686600252470336`*^9, 3.568660025487034*^9}, {3.625332746140196*^9,
3.6253327478701982`*^9}, {3.6253334572460165`*^9,
3.6253334574560165`*^9}, {3.6257124845807505`*^9, 3.625712485859953*^9}, {
3.625712536690842*^9, 3.625712536690842*^9}, 3.680039851441024*^9, {
3.6800419536922655`*^9, 3.6800419537022657`*^9}, {3.6800427089284625`*^9,
3.6800427095534983`*^9}, 3.680042951589342*^9},
FontSize->12,
FontWeight->"Bold"],
Cell["Derivation: Integration by substitution", "Subsubsection",
CellChangeTimes->{
3.479686820458373*^9, {3.490657960122612*^9, 3.49065796095366*^9},
3.4964414996009283`*^9, {3.4964447088058186`*^9, 3.4964447131058245`*^9},
3.496528844063812*^9, 3.497575950496916*^9, 3.4975775797018027`*^9,
3.497639496888481*^9, 3.4976636252234545`*^9, 3.497665167504564*^9, {
3.561226054703641*^9, 3.5612260578536453`*^9}, {3.561303519822772*^9,
3.561303524882779*^9}}],
Cell[TextData[{
"Basis: If ",
Cell[BoxData[
RowBox[{
RowBox[{
FractionBox[
RowBox[{"p", "-", "1"}], "2"], "\[Element]", "\[DoubleStruckCapitalZ]"}],
" ", "\[And]", " ",
RowBox[{
RowBox[{
SuperscriptBox["a", "2"], "-",
SuperscriptBox["b", "2"]}], "\[Equal]", "0"}]}]]],
", then ",
Cell[BoxData[
RowBox[{
SuperscriptBox[
RowBox[{"Sin", "[",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], "]"}], "p"], "\[Equal]",
RowBox[{
FractionBox["1",
RowBox[{"f", " ",
SuperscriptBox["b",
RowBox[{"p", "-", "1"}]]}]],
RowBox[{"Subst", "[",
RowBox[{
FractionBox[
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{
RowBox[{"-", "a"}], "+",
RowBox[{"b", " ", "x"}]}], ")"}],
FractionBox[
RowBox[{"p", "-", "1"}], "2"]], " ",
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], ")"}],
FractionBox[
RowBox[{"p", "-", "1"}], "2"]]}],
SuperscriptBox["x",
RowBox[{"p", "+", "1"}]]], ",", "x", ",",
RowBox[{"Sec", "[",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], "]"}]}], "]"}], " ",
RowBox[{
SubscriptBox["\[PartialD]", "x"],
RowBox[{"Sec", "[",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], "]"}]}]}]}]], "Input",
CellChangeTimes->{{3.5612260367936153`*^9, 3.5612260481036315`*^9}}]
}], "Subsubsection",
CellChangeTimes->{
3.479686820458373*^9, {3.490657960122612*^9, 3.49065796095366*^9},
3.4964414996009283`*^9, {3.4964447088058186`*^9, 3.4964447131058245`*^9},
3.496528844063812*^9, 3.497575950496916*^9, 3.4975775797018027`*^9,
3.497639496888481*^9, 3.4976636252234545`*^9, 3.497665167504564*^9, {
3.561226054703641*^9, 3.5612260758236704`*^9}, {3.5613035475028105`*^9,
3.5613036352829337`*^9}, {3.5613060440763063`*^9, 3.561306049166313*^9},
3.5613082015193267`*^9, {3.5613430018416624`*^9, 3.5613430018416624`*^9}, {
3.561343217061964*^9, 3.5613432634220285`*^9}, {3.5613433001420803`*^9,
3.5613433001420803`*^9}, {3.561343345242143*^9, 3.561343345242143*^9}, {
3.561395009531165*^9, 3.561395009531165*^9}, {3.561396485480957*^9,
3.5613965163534117`*^9}, {3.563597967959899*^9, 3.5635980080099545`*^9}, {
3.563635372387249*^9, 3.56363537876766*^9}, {3.563635433258556*^9,
3.563635433258556*^9}, {3.5685983707958183`*^9, 3.5685983707958183`*^9}, {
3.5685984017958612`*^9, 3.5685984017958612`*^9}, 3.5686504790165634`*^9, {
3.568653779604761*^9, 3.568653797903593*^9}, {3.568653977132308*^9,
3.568654056411647*^9}, {3.568654189729481*^9, 3.568654221912338*^9}, {
3.5686542531279926`*^9, 3.568654316027303*^9}, {3.6257123980529976`*^9,
3.6257124199554367`*^9}, {3.6257125480828624`*^9,
3.6257125480828624`*^9}, {3.680041953750269*^9, 3.68004195376927*^9}, {
3.680042365694831*^9, 3.680042365694831*^9}, {3.6800427105885572`*^9,
3.680042714719794*^9}}],
Cell[TextData[{
"Rule: If ",
Cell[BoxData[
RowBox[{
RowBox[{
FractionBox[
RowBox[{"p", "-", "1"}], "2"], "\[Element]", "\[DoubleStruckCapitalZ]"}],
" ", "\[And]", " ",
RowBox[{
RowBox[{
SuperscriptBox["a", "2"], "-",
SuperscriptBox["b", "2"]}], "\[Equal]", "0"}]}]]],
", then"
}], "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,
3.4794210503903055`*^9}, 3.4803613662913427`*^9, {3.480361406058525*^9,
3.48036141974821*^9}, {3.4803614672865667`*^9, 3.480361474717252*^9},
3.4807050675119123`*^9, {3.4964417379912624`*^9, 3.4964417471112747`*^9}, {
3.496441910111503*^9, 3.4964419275315275`*^9}, 3.496451213764926*^9,
3.496528833243797*^9, {3.4975777080419827`*^9, 3.4975777244120054`*^9},
3.4976397903561964`*^9, {3.497663553088928*^9, 3.4976635622149444`*^9},
3.4976651743061757`*^9, {3.4991317949832096`*^9, 3.4991317953032103`*^9}, {
3.561226279503955*^9, 3.5612262831739607`*^9}, {3.5612263210940137`*^9,
3.5612263409240413`*^9}, {3.561303727383063*^9, 3.5613037473230906`*^9}, {
3.5613060579763255`*^9, 3.5613060584263263`*^9}, {3.5635826857602034`*^9,
3.5635826857602034`*^9}, {3.5636354625710077`*^9,
3.5636354625710077`*^9}, {3.568598423655892*^9, 3.568598423655892*^9}, {
3.5686540957237163`*^9, 3.5686540957237163`*^9}, {3.568654394589041*^9,
3.568654394589041*^9}, 3.568654657246702*^9, {3.625712540668849*^9,
3.625712540668849*^9}, {3.6800427155548415`*^9, 3.6800427155548415`*^9}}],
Cell[BoxData[
RowBox[{"\[Integral]",
RowBox[{
SuperscriptBox[
RowBox[{"Sin", "[",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], "]"}], "p"],
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ",
RowBox[{"Sec", "[",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], "]"}]}]}], ")"}], "m"],
RowBox[{"\[DifferentialD]",
RowBox[{"x", " ", "\[LongRightArrow]", " ",
FractionBox["1",
RowBox[{"f", " ",
SuperscriptBox["b",
RowBox[{"p", "-", "1"}]]}]]}]}], " ",
RowBox[{"Subst", "[",
RowBox[{
RowBox[{"\[Integral]",
RowBox[{
FractionBox[
RowBox[{
SuperscriptBox[
RowBox[{"(",
RowBox[{
RowBox[{"-", "a"}], "+",
RowBox[{"b", " ", "x"}]}], ")"}],
FractionBox[
RowBox[{"p", "-", "1"}], "2"]], " ",
SuperscriptBox[
RowBox[{"(",
RowBox[{"a", "+",
RowBox[{"b", " ", "x"}]}], ")"}],
RowBox[{"m", "+",
FractionBox[
RowBox[{"p", "-", "1"}], "2"]}]]}],
SuperscriptBox["x",
RowBox[{"p", "+", "1"}]]],
RowBox[{"\[DifferentialD]", "x"}]}]}], ",", "x", ",",
RowBox[{"Sec", "[",
RowBox[{"e", "+",
RowBox[{"f", " ", "x"}]}], "]"}]}], "]"}]}]}]], "Subsubtitle",
CellDingbat->None,
CellChangeTimes->{{3.4796579723816*^9, 3.4796580261689425`*^9},
3.479661191290163*^9, {3.479686720164157*^9, 3.479686720204214*^9}, {
3.479686831554328*^9, 3.479686834819022*^9}, {3.4940970712485504`*^9,
3.4940971130286083`*^9}, 3.4940971455886545`*^9, 3.49644160092107*^9,
3.496441663571158*^9, {3.496528814953771*^9, 3.4965288223737817`*^9},
3.497576045657049*^9, 3.497576089857111*^9, 3.4975776169418545`*^9, {
3.497577677171939*^9, 3.497577691381959*^9}, {3.4976395112561064`*^9,
3.4976395477133703`*^9}, {3.49766342891271*^9, 3.497663457772761*^9}, {
3.497663580747777*^9, 3.497663583134581*^9}, {3.4976652106074395`*^9,
3.4976652204666567`*^9}, 3.4976652749419527`*^9, {3.4991316095329504`*^9,
3.4991316274529753`*^9}, {3.4991318033632216`*^9, 3.499131806573226*^9}, {
3.56122609003369*^9, 3.5612261336137514`*^9}, {3.5612261841238217`*^9,
3.561226212973862*^9}, {3.561226245623908*^9, 3.561226251553916*^9},
3.5612273551154613`*^9, {3.5613034430726647`*^9, 3.5613035122327614`*^9}, {
3.5613045762442513`*^9, 3.5613045778942537`*^9}, 3.561925854761129*^9,
3.561926063223421*^9, {3.5635826460601482`*^9, 3.563582646070148*^9},
3.5635832293309646`*^9, {3.563635468982619*^9, 3.5636355071558857`*^9},
3.5636356383365164`*^9, {3.5685984530259333`*^9, 3.568598459985943*^9},
3.568654121370161*^9, {3.568654417536681*^9, 3.5686544373955164`*^9}, {
3.6257125595488825`*^9, 3.625712592780941*^9}, {3.6257128532183905`*^9,
3.6257128539515915`*^9}, {3.68004195377927*^9, 3.6800419538002715`*^9},
3.6800423668898993`*^9, {3.6800427163778887`*^9, 3.6800427189670367`*^9}, {
3.6800429727915545`*^9, 3.680042973919619*^9}, {3.6800437706431894`*^9,
3.6800437771365604`*^9}},
TextAlignment->Center,
FontSize->12,
FontWeight->"Bold"],
Cell["Program code:", "Subsubsection",
CellDingbat->"\[FilledSmallSquare]",
CellChangeTimes->{{3.4794189093216*^9, 3.479418932274605*^9}, {
3.479418981395237*^9, 3.4794189822564754`*^9}, {3.4794192068193808`*^9,
3.4794192077607346`*^9}, 3.479420089138093*^9, {3.479420130978256*^9,
3.4794201410627565`*^9}, {3.479420560345656*^9, 3.479420578171288*^9}, {
3.479420683943381*^9, 3.4794206847645617`*^9}, {3.4794210347678413`*^9,